You have chosen fragments/reports, Deriving Kripkean Claims with Abstract Objects and Deriving Kripkean Claims with Abstract Objects.
All three must be different; choose another text.